Java Memory Model

Results: 74



#Item
61Double-checked locking / Volatile variable / Java Memory Model / Thread safety / Lock / Memory model / Critical section / Linearizability / Memory barrier / Concurrency control / Computing / Software engineering

Thread 1 Thread 2 1: r2 = A; 3: r1 = B 2: B = 1; 4: A = 2 May return r2 == 2, r1 == 1 Figure 1: Behaves Surprisingly

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-02-01 21:43:05
62Java Memory Model / Java platform / Justification / Constructible universe / Expected value / Group action / Christian theology / Christianity / Theology

Formal Description of the Manson/Pugh Model February 6, 2004, 1:44pm This document is intended to supplement the Public Review of the Java Memory Model. It can be considered as a replacement for Sections 7 and 8 of that

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-02-06 13:47:14
63Concurrency / Thread / Lock / Mutual exclusion / Synchronization / Java programming language / Java concurrency / Java Memory Model / Computing / Concurrency control / Concurrent computing

Correct and Efficient Synchronization of ™ Java Technologybased Threads Doug Lea and William Pugh http://gee.cs.oswego.edu

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2000-07-28 17:02:46
64Java Memory Model / Lock / Memory barrier / Memory model / Monitor / Thread / Deadlock / Volatile variable / Java virtual machine / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification February 2, 2004, 2:05pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specifica

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-02-02 14:07:05
65Concurrency / Computer memory / Concurrent computing / Java Memory Model / Java platform / Thread / Lock / Monitor / Parallel computing / Computing / Software engineering / Concurrency control

JSR-133: JavaTM Memory Model and Thread Specification August 24, 2004, 4:42pm This document is the JSR-133 specification, the JavaTM Memory Model and Thread Specification (JMM), as developed by the JSR-133 expert group.

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-08-24 16:44:54
66Computer memory / Transaction processing / Concurrency control / Compiler construction / Java Memory Model / Thread / Memory model / Consistency model / Lock / Computing / Software engineering / Java platform

Fixing the Java Memory Model William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 1999-06-23 15:16:39
67Java Memory Model / Lock / Memory barrier / Memory model / Monitor / Volatile variable / Linearizability / Deadlock / Thread / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification This document is the community review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specification is intended to be p

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2003-08-08 11:08:03
68Java Memory Model / Lock / Memory barrier / Monitor / Memory model / Deadlock / Thread / Volatile variable / Java virtual machine / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification March 17, 2004, 9:21pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specificati

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-03-17 21:23:58
69Computer memory / Compiler construction / Concurrency / Programming language design / Memory model / Consistency model / Java Memory Model / Thread / Lock / Computing / Software engineering / Concurrency control

The Semantics of Multithreaded Java William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 1999-09-22 10:56:06
70Java Memory Model / Lock / Memory barrier / Monitor / Memory model / Volatile variable / Thread / Linearizability / Deadlock / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification October 17, 2003, 11:24am This document is a preliminary version of the public review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Speci

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2003-10-17 11:25:56
UPDATE